<?php

/* Cette page permet de fermer une session admin ouverte par l'utilisateur. 
*/

session_start ();

// Si une session admin est active, on la détruit puis on recharge la page principale.
if (isset($_SESSION['passe'])) unset($_SESSION['passe']);

header('Location: index.php');

?>